Saving a pandas DataFrame to csv format